Skip to content

Conversation

@pre-commit-ci
Copy link
Contributor

@pre-commit-ci pre-commit-ci bot commented Aug 25, 2025

@vercel
Copy link

vercel bot commented Aug 25, 2025

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Preview Comments Updated (UTC)
solver-benchmark Building Building Preview Comment Nov 10, 2025 5:19pm

@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from ae236a0 to d4cfa86 Compare September 1, 2025 17:12
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from d4cfa86 to 41cef6a Compare September 8, 2025 17:12
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from 41cef6a to 3044bda Compare September 15, 2025 17:13
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from 3044bda to dd60b86 Compare September 22, 2025 17:17
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from dd60b86 to ea9b8a4 Compare September 29, 2025 17:08
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from ea9b8a4 to 6ad8c5a Compare October 6, 2025 17:24
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from 6ad8c5a to 55d9eb5 Compare October 13, 2025 17:15
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from 55d9eb5 to 34b590a Compare October 20, 2025 17:10
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from 34b590a to 7b54416 Compare October 27, 2025 17:11
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from 7b54416 to ab3da8f Compare November 3, 2025 17:16
updates:
- [github.com/astral-sh/ruff-pre-commit: v0.12.9 → v0.14.4](astral-sh/ruff-pre-commit@v0.12.9...v0.14.4)
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from ab3da8f to 4e9270b Compare November 10, 2025 17:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant